decidability in toc

visit shbcf.ru